Unruh, Dominique: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (23)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Quantum programming languages

Dominique Unruh

Журнал:

Computer Science - Research and Development

Рік:

2006

Мова:

english

Файл:

PDF, 248 KB

english, 2006

2

[IEEE 2014 IEEE 55th Annual Symposium on Foundations of Computer Science (FOCS) - Philadelphia, PA, USA (2014.10.18-2014.10.21)] 2014 IEEE 55th Annual Symposium on Foundations of Computer Science - Quantum Attacks on Classical Proof Systems: The Hardness of Quantum Rewinding

Ambainis, Andris, Rosmanis, Ansis, Unruh, Dominique

Рік:

2014

Мова:

english

Файл:

PDF, 339 KB

english, 2014

3

Long-Term Security and Universal Composability

Jörn Müller-Quade, Dominique Unruh

Журнал:

Journal of Cryptology

Рік:

2010

Мова:

english

Файл:

PDF, 1.05 MB

english, 2010

4

Polynomial Runtime and Composability

Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade

Журнал:

Journal of Cryptology

Рік:

2013

Мова:

english

Файл:

PDF, 874 KB

english, 2013

5

On using probabilistic Turing machines to model participants in cryptographic protocols

Klingler, Lee, Steinwandt, Rainer, Unruh, Dominique

Журнал:

Theoretical Computer Science

Рік:

2013

Мова:

english

Файл:

PDF, 165 KB

english, 2013

6

[IEEE 2013 IEEE 26th Computer Security Foundations Symposium (CSF) - New Orleans, LA, USA (2013.06.26-2013.06.28)] 2013 IEEE 26th Computer Security Foundations Symposium - Symbolic Universal Composability

Bohl, Florian, Unruh, Dominique

Рік:

2013

Мова:

english

Файл:

PDF, 347 KB

english, 2013

7

[IEEE 2008 21st IEEE Computer Security Foundations Symposium - Pittsburgh, PA, USA (2008.06.23-2008.06.25)] 2008 21st IEEE Computer Security Foundations Symposium - Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers

Backes, Michael, Unruh, Dominique

Рік:

2008

Мова:

english

Файл:

PDF, 563 KB

english, 2008

8

Revocable Quantum Timed-Release Encryption

Unruh, Dominique

Журнал:

Journal of the ACM

Рік:

2015

Мова:

english

Файл:

PDF, 577 KB

english, 2015

9

Security of Blind Signatures Revisited

Schröder, Dominique, Unruh, Dominique

Журнал:

Journal of Cryptology

Рік:

2017

Мова:

english

Файл:

PDF, 647 KB

english, 2017

10

Everlasting Multi-party Computation

Unruh, Dominique

Журнал:

Journal of Cryptology

Рік:

2018

Мова:

english

Файл:

PDF, 1009 KB

english, 2018

11

Quantum Programs With Classical Output Streams: (Extended Abstract)

Dominique Unruh

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 361 KB

english, 2007

12

[IEEE 2008 IEEE Symposium on Security and Privacy (sp 2008) - Oakland, CA, USA (2008.05.18-2008.05.22)] 2008 IEEE Symposium on Security and Privacy (sp 2008) - Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol

Backes, Michael, Maffei, Matteo, Unruh, Dominique

Рік:

2008

Мова:

english

Файл:

PDF, 363 KB

english, 2008

13

[IEEE 2008 IEEE Symposium on Security and Privacy (sp 2008) - Oakland, CA, USA (2008.05.18-2008.05.22)] 2008 IEEE Symposium on Security and Privacy (sp 2008) - Compromising Reflections-or-How to Read LCD Monitors around the Corner

Backes, Michael, D, Markus, Unruh, Dominique

Рік:

2008

Мова:

english

Файл:

PDF, 1.11 MB

english, 2008

14

[IEEE 2011 IEEE 24th Computer Security Foundations Symposium (CSF) - Cernay-la-Ville, France (2011.06.27-2011.06.29)] 2011 IEEE 24th Computer Security Foundations Symposium - Termination-Insensitive Computational Indistinguishability (and Applications to Computational Soundness)

Unruh, Dominique

Рік:

2011

Мова:

english

Файл:

PDF, 384 KB

english, 2011

15

[IEEE 2007 IEEE Symposium on Security and Privacy - Berkeley, CA, USA (2007.05.20-2007.05.23)] 2007 IEEE Symposium on Security and Privacy (SP '07) - Information Flow in the Peer-Reviewing Process

Backes, Michael, Durmuth, Markus, Unruh, Dominique

Рік:

2007

Мова:

english

Файл:

PDF, 167 KB

english, 2007

16

[ACM Press the 16th ACM conference - Chicago, Illinois, USA (2009.11.09-2009.11.13)] Proceedings of the 16th ACM conference on Computer and communications security - CCS '09 - CoSP

Backes, Michael, Hofheinz, Dennis, Unruh, Dominique

Рік:

2009

Мова:

english

Файл:

PDF, 528 KB

english, 2009

17

[ACM Press the 17th ACM conference - Chicago, Illinois, USA (2010.10.04-2010.10.08)] Proceedings of the 17th ACM conference on Computer and communications security - CCS '10 - Computationally sound verification of source code

Backes, Michael, Maffei, Matteo, Unruh, Dominique

Рік:

2010

Мова:

english

Файл:

PDF, 472 KB

english, 2010

18

[ACM Press the 2005 ACM workshop - Fairfax, VA, USA (2005.11.11-2005.11.11)] Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 - On fairness in simulatability-based cryptographic systems

Backes, Michael, Hofheinz, Dennis, Müller-Quade, Jörn, Unruh, Dominique

Рік:

2005

Мова:

english

Файл:

PDF, 270 KB

english, 2005

19

[ACM Press the 2012 ACM conference - Raleigh, North Carolina, USA (2012.10.16-2012.10.18)] Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12 - Computational soundness without protocol restrictions

Backes, Michael, Malik, Ankit, Unruh, Dominique

Рік:

2012

Мова:

english

Файл:

PDF, 523 KB

english, 2012

20

Ambiguities in gravitational lens models: the density field from the source position transformation

Unruh, Sandra, Schneider, Peter, Sluse, Dominique

Журнал:

Astronomy and Astrophysics

Рік:

2017

Мова:

english

Файл:

PDF, 3.87 MB

english, 2017

21

Symbolic universal composability

Böhl, Florian, Unruh, Dominique

Журнал:

Journal of Computer Security

Рік:

2016

Мова:

english

Файл:

PDF, 346 KB

english, 2016

22

On the (Im-)Possibility of Extending Coin Toss

Hofheinz, Dennis, Müller-Quade, Jörn, Unruh, Dominique

Журнал:

Journal of Cryptology

Рік:

2018

Мова:

english

Файл:

PDF, 839 KB

english, 2018

23

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Quantum Hoare Logic with Ghost Variables

Unruh, Dominique

Рік:

2019

Мова:

english

Файл:

PDF, 537 KB

english, 2019